Alwen Tiu: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Cut elimination for a logic with induction and co-induction

Alwen Tiu, Alberto Momigliano

Journal:

Journal of Applied Logic

Year:

2012

Language:

english

File:

PDF, 510 KB

english, 2012

2

A Logic for Reasoning about Generic Judgments

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 343 KB

english, 2007

3

On the Role of Names in Reasoning about λ-tree Syntax Specifications

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 325 KB

english, 2009

4

A Proof Search Specification of the π-Calculus

Alwen Tiu, Dale Miller

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 397 KB

english, 2005

5

Verification of clock synchronization algorithms: experiments on a combination of deductive tools

Damián Barsotti, Leonor Prensa Nieto, Alwen Tiu

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 2.11 MB

english, 2007

6

Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools

Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 278 KB

english, 2006

7

Characterisations of testing preorders for a finite probabilisticπ-calculus

Deng, Yuxin, Tiu, Alwen

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 424 KB

english, 2012

8

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Automating Open Bisimulation Checking for the Spi Calculus

Tiu, Alwen, Dawson, Jeremy

Year:

2010

Language:

english

File:

PDF, 356 KB

english, 2010

9

A proof theory for generic judgments

Miller, Dale, Tiu, Alwen

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

10

Proof search specifications of bisimulation and modal logics for the π-calculus

Tiu, Alwen, Miller, Dale

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 523 KB

english, 2010

11

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Proof search for propositional abstract separation logics via labelled sequents

Hóu, Zhé, Clouston, Ranald, Goré, Rajeev, Tiu, Alwen

Year:

2014

Language:

english

File:

PDF, 640 KB

english, 2014

12

John Harrison. Handbook of practical logic and automated reasoning. Cambridge University Press, Cambridge, UK, 2009, xix + 681 pp.

Journal:

Bulletin of Symbolic Logic

Year:

2010

Language:

english

File:

PDF, 70 KB

english, 2010

13

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - Steelix: program-state based binary fuzzing

Li, Yuekang, Chen, Bihuan, Chandramohan, Mahinthan, Lin, Shang-Wei, Liu, Yang, Tiu, Alwen

Year:

2017

Language:

english

File:

PDF, 776 KB

english, 2017

14

Semantics for Specialising Attack Trees based on Linear Logic

Horne, Ross, Mauw, Sjouke, Tiu, Alwen, Aman, Bogdan, Kleijn, Jetty, Koutny, Maciej, Lucanu, Dorel

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 702 KB

english, 2017

15

[IEEE 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Santa Barbara, CA, USA (2017.8.21-2017.8.25)] 2017 IEEE 30th Computer Security Foundations Symposium (CSF) - Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes

DOsualdo, Emanuele, Ong, Luke, Tiu, Alwen

Year:

2017

Language:

english

File:

PDF, 384 KB

english, 2017

16

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - A Permission-Dependent Type System for Secure Information Flow Analysis

Chen, Hongxu, Tiu, Alwen, Xu, Zhiwu, Liu, Yang

Year:

2018

Language:

english

File:

PDF, 339 KB

english, 2018

17

Constructing weak simulations from linear implications for processes with private names

Horne, Ross, Tiu, Alwen

Journal:

Mathematical Structures in Computer Science

Year:

2019

Language:

english

File:

PDF, 1.02 MB

english, 2019

18

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Quasi-Open Bisimilarity with Mismatch is Intuitionistic

Horne, Ross, Ahn, Ki Yung, Lin, Shang-wei, Tiu, Alwen

Year:

2018

Language:

english

File:

PDF, 743 KB

english, 2018

19

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel

Journal:

ACM Transactions on Computational Logic

Year:

2019

Language:

english

File:

PDF, 1.50 MB

english, 2019

20

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel

Journal:

ACM Transactions on Computational Logic

Year:

2019

File:

PDF, 1.50 MB

2019

21

An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model

HÃ³u, ZhÃ©, Sanan, David, Tiu, Alwen, Liu, Yang, Hoa, Koh Chuen, Dong, Jin Song

Journal:

Journal of Automated Reasoning

Year:

2020

File:

PDF, 997 KB

2020